class a{

    where(
        T : {
            [U in (keyof this)]? : string
        }
    ){

    }
}

namespace a{
    
}

class b extends a{
    public eee;
}
